منابع مشابه
Proposition Algebra with Projective Limits
Sequential logic deviates from propositional logic by taking into account that atomic propositions yield different Boolean values at different times during the sequential evaluation of a single proposition. Reactive valuations capture this dynamics of a proposition’s environment. This logic is phrased as an equationally specified algebra rather than in the form of proof rules. It is strictly mo...
متن کاملEvaluation trees for proposition algebra
Proposition algebra is based on Hoare’s conditional connective, which is a ternary connective comparable to if-then-else and used in the setting of propositional logic. Conditional statements are provided with a simple semantics that is based on evaluation trees and that characterizes so-called free valuation congruence: two conditional statements are free valuation congruent if, and only if, t...
متن کاملProposition Algebra and Short-Circuit Logic
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is only evaluated if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is widely used. We review proposition algebra [2010], an algebraic approach to propositional logic with side effects that models short-circuit evaluatio...
متن کاملEvaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence
Proposition algebra is based on Hoare’s conditional connective, which is a ternary connective comparable to if-then-else and used in the setting of propositional logic. Conditional statements are provided with a simple semantics that is based on evaluation trees and that characterizes so-called free valuation congruence: two conditional statements are free valuation congruent if, and only if, t...
متن کاملThe proposition
Between the years 2007 and 2013, we will witness a radical change in Poland’s social and economic systems. After the breakthrough we saw in the years 1989 -1990, these new changes will be particularly significant. It has been expected, negotiated and it become a fact. On the turn of the year 2007, Poland will be recognized as a proper and rightful EU member. Rightful, because it fully takes ove...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2011
ISSN: 1529-3785,1557-945X
DOI: 10.1145/1929954.1929958